\frame[containsverbatim]
{
  \frametitle{FindInconsistentSync implementation (continued)}
{\scriptsize
\begin{Verbatim}[commandchars=+:?]
@Override
protected void visitMethodCFG(MethodDescriptor methodDescriptor, CFG cfg)
    throws CheckedAnalysisException {
  IAnalysisCache analysisCache = Global.getAnalysisCache();
  
  ConstantPoolGen cpg = analysisCache.getClassAnalysis(
      ConstantPoolGen.class, methodDescriptor.getClassDescriptor());
  LockCountDataflow lockCountDataflow = analysisCache.getMethodAnalysis(
      LockCountDataflow.class, methodDescriptor);
  
  for (Iterator<Location> i = cfg.locationIterator(); i.hasNext();) {
    Location location = i.next();
    short opcode = location.getHandle().getInstruction().getOpcode();
    if (opcode != Constants.GETFIELD && opcode != Constants.PUTFIELD) {
      continue;
    }

    :+color:blue?inspectFieldAccess(methodDescriptor, cpg, lockCountDataflow, location);?
  }
}
\end{Verbatim}
}
}
